Nuprl Definition : alle-ge 0,22

e'e.P(e') == e':E. e  e'   P(e'
latex



clarification:

alle-ge(es;e;e'.P(e')) == e':es-E(es). es-le(es;e;e' P(e'
latex


Definitionsx:AB(x), E, P  Q, e  e' 
FDL editor aliasesalle-ge

origin